Wir konnten keine exakten Treffer zu Ihrer Suche nach "decision procedures" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:
North Carolina: The code of civil procedure of North Carolina: with notes and decisions, Buch

North Carolina, Albion Winegar Tourgée
The code of civil procedure of North Carolina: with notes and decisions

Reprint of the original, first published in 1878. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 69,90*
North Carolina: The code of civil procedure of North Carolina: with notes and decisions, Buch

North Carolina, Albion Winegar Tourgée
The code of civil procedure of North Carolina: with notes and decisions

Reprint of the original, first published in 1878. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 89,90*
Charles Marsh Denison: The Practice & Procedure of the House of Lords, Buch

Charles Marsh Denison, Charles Henderson Scott
The Practice & Procedure of the House of Lords

Reprint of the original, first published in 1879. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 79,90*
Charles Marsh Denison: The Practice & Procedure of the House of Lords, Buch

Charles Marsh Denison, Charles Henderson Scott
The Practice & Procedure of the House of Lords

Reprint of the original, first published in 1879. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 59,90*
Thomas Lundmark: Judicial Legislating in Germany: A Model for Europe?, Buch

Thomas Lundmark
Judicial Legislating in Germany: A Model for Europe?

Universals in Legal Reasoning by Judges explores and expounds the usage of rules to justify judicial decisions. It argues for judicial transparency and candour to enhance the persuasiveness and efficacy o…

lieferbar ab 12.3.2025.
Buch
EUR 110,51*
: Landslide: Susceptibility, Risk Assessment and Sustainability, Buch

Landslide: Susceptibility, Risk Assessment and Sustainability

Advances in Natural and Technological Hazards Research -Band 52

The book illustrates a geospatial and geostatistical approach to data analysis, modeling, risk assessment, and visualization, as well as landslide hazard management in the hilly region. This book investig…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 164,28*
: Logic-Based Program Synthesis and Transformation, Buch

Logic-Based Program Synthesis and Transformation

Lecture Notes in Computer Science -Band 14919

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9 10, 2024. The…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,51*
Moshe Jarden: Field Arithmetic, Buch

Moshe Jarden, Michael D. Fried
Field Arithmetic

Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics -Band 11

This book uses algebraic tools to study the elementary properties of classes of fields and related algorithmic problems. The first part covers foundational material on infinite Galois theory, profinite gr…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 251,89*
: Automated Reasoning, Buch

Automated Reasoning

Lecture Notes in Artificial Intelligence -Band 14739

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
: Automated Reasoning, Buch

Automated Reasoning

Lecture Notes in Artificial Intelligence -Band 14740

Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, F…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.